Multiple Representations of Biological Processes
نویسندگان
چکیده
This paper describes representations of biological processes based on Rewriting Logic and Petri net formalisms and mappings between these representations used in the Pathway Logic Assistant. The mappings are shown to preserve properties of interest. In addition a relevant subnet transformation is defined, that specializes a Petri net model to a specific query to reduce the number of transitions that must be considered when answering the query. The transformation is shown to preserve the query in the sense that no answers are lost.
منابع مشابه
L2 Teachers’ Representations of Classroom Management Events: Variations across Experience Levels
Knowledge representation, defined as the way individuals structure their knowledge and cognitive processing of events and the associated sense-making processes, is believed to influence teachers’ reasoning/thinking skills. While extensively researched in mainstream teacher education, this line of inquiry is essentially lacking in the L2 teacher education literature. To fill some of the void, th...
متن کاملOntology-Based Representation for Cell System Markup Language
Networks of molecular interaction in biological processes reveal different levels of granularities, as well as different levels of abstraction. It is difficult to provide formal and explicit representations of diverse biological entities and their relationships. As an ontological approach, we present CSO (Ontology based representation of Cell System markup language), a pathway representation la...
متن کاملConceptual learning with multiple graphical representations: Intelligent tutoring systems support for sense-making and fluency-building processes
Most learning environments in the STEM disciplines use multiple graphical representations along with textual descriptions and symbolic representations. Multiple graphical representations are powerful learning tools because they can emphasize complementary aspects of complex learning contents. But to benefit from multiple graphical representations, students need to accomplish a number of cogniti...
متن کاملTwo-wavelet constants for square integrable representations of G/H
In this paper we introduce two-wavelet constants for square integrable representations of homogeneous spaces. We establish the orthogonality relations fo...
متن کاملChildren's representations of multiple family relationships: organizational structure and development in early childhood.
The authors examine mutual family influence processes at the level of children's representations of multiple family relationships, as well as the structure of those representations. From a community sample with 3 waves, each spaced 1 year apart, kindergarten-age children (105 boys and 127 girls) completed a story-stem completion task, tapping representations of multiple family relationships. St...
متن کامل